<div>
    URL from which to download the tool in binary form.
    Should be either a ZIP or a GZip-compressed TAR file.
    The timestamp on the server will be compared to the local version (if any)
    so you can publish updates easily.
    The URL must be accessible from the Jenkins master but need not be accessible from agents.
</div>
